Application of a Tauberian theorem to finite model theory
نویسنده
چکیده
An extension of a Tauberian theorem of Hardy and Littlewood is proved. It is used to show that, for classes of finite models satisfying certain combinatorial and growth properties, Cesfiro probabilities (limits of average probabilities over second order sentences) exist. Examples of such classes include the class of unary functions and the class of partial unary functions. It is conjectured that the result holds for the usual notion of asymptotic probability as well as Cesfiro probability. Evidence in support of the conjecture is presented.
منابع مشابه
H"{o}lder summability method of fuzzy numbers and a Tauberian theorem
In this paper we establish a Tauberian condition under which convergence follows from H"{o}lder summability of sequences of fuzzy numbers.
متن کاملA Tauberian theorem for $(C,1,1)$ summable double sequences of fuzzy numbers
In this paper, we determine necessary and sufficient Tauberian conditions under which convergence in Pringsheim's sense of a double sequence of fuzzy numbers follows from its $(C,1,1)$ summability. These conditions are satisfied if the double sequence of fuzzy numbers is slowly oscillating in different senses. We also construct some interesting double sequences of fuzzy numbers.
متن کاملIngham Tauberian Theorem with an Estimate for the Error Term
We estimate the error term in the Ingham Tauberian theorem. This estimation of the error term is accomplished by considering an elementary proof of a weak form of Wiener's general Tauberian theorem and by using a zero-free region for the Riemann zeta function. 1. Introduction. As an important application of his general Tauberian theorem (GTT), in 1932, Wiener [6] gave a new proof of the prime n...
متن کاملA Tauberian Theorem for Laplace Transforms with Pseudofunction Boundary Behavior
The prime number theorem provided the chief impulse for complex Tauberian theory, in which the boundary behavior of a transform in the complex plane plays a crucial role. We consider Laplace transforms of bounded functions. Our Tauberian theorem does not allow first-order poles on the imaginary axis, but any milder singularities, characterized by pseudofunction boundary behavior, are permissibl...
متن کاملAn extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 25 شماره
صفحات -
تاریخ انتشار 1985